# -*- mode: snippet -*-
# name: Set Strict Proofs
# --
Set Strict Proofs
